Deontic action logic, atomic boolean algebras and fault-tolerance
نویسندگان
چکیده
منابع مشابه
Action Type Deontic Logic
A new deontic logic, Action Type Deontic Logic, is presented. To motivate this logic, a number of benchmark cases are shown, representing inferences a deontic logic should validate. Some of the benchmark cases are singled out for further comments and some formal approaches to deontic reasoning are evaluated with respect to the benchmark cases. After that follows an informal introduction to the ...
متن کاملBoolean Algebras and Logic
In this article we investigate the notion and basic properties of Boolean algebras and prove the Stone’s representation theorem. Some special classes of Boolean algebras are also concerned with and, in particular, the relations of Boolean algebras to propositional logic and to set theory are studied in more details. We mention here that all what we do for propositional logic can also be extende...
متن کاملA Norm-giver Meets Deontic Action Logic
In the paper we present a formal system motivated by a specific methodology of creating norms. According to the methodology, a normgiver before establishing a set of norms should create a picture of the agent by creating his repertoire of actions. Then, knowing what the agent can do in particular situations, the norm-giver regulates these actions by assigning deontic qualifications to each of t...
متن کاملTowards a First-Order Deontic Action Logic
In this article we describe a first-order extension of the deontic logic introduced in [1]. The main useful and interesting characteristic of this extended logic is that it not only provides the standard quantifiers of first-order logic, but it also has similar algebraic operators for actions as for the propositional version of [1]. Since the pioneering works of Hintikka and Kanger, little adva...
متن کاملA Systematics of Deontic Action Logics Based on Boolean Algebra
Within the scope of interest of deontic logic, systems in which names of actions are arguments of deontic operators (deontic action logic) have attracted less interest than purely propositional systems. However, in our opinion, they are even more interesting from both theoretical and practical point of view. The fundament for contemporary research was established by K. Segerberg, who introduced...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Applied Logic
سال: 2009
ISSN: 1570-8683
DOI: 10.1016/j.jal.2009.02.001